Intelligent Knowledge Database (IKD) Tool for Formal Methods
نویسندگان
چکیده
منابع مشابه
Intelligent Knowledge Database (ikd) Tool for Formalmethods
This paper discusses the Intelligent Knowledge Database (IKD) tool generated for formal methods. The knowledge database provides the information regarding the existing formal methods in the area of academia, industry and R&D sectors. The tool provides complete information about the formal methods adopted in the conventional or model-based approach, in the various phases of the software developm...
متن کاملTool support for formal methods
Although the potential users of theorem proving systems are numerous, automated theorem provers are less widely used than they might be in the formal methods community. Many proofs of correctness, of both software and hardware, have been carried out by skilled users, but in an ideal world all programs would be proved correct before use; in practice few software developers other than those engag...
متن کاملDBSitter: An Intelligent Tool for Database Administration
Database administration routines involve manual or semi-automatic methods for monitoring the environment and solving problems that arise. In this work, we propose a novel alternative approach to this task, which unifies two Artificial Intelligence techniques: Case Based Reasoning and Intelligent Agents. Thus, DBSitter consists of a Multi-Agent system for automatic monitoring and fault correctin...
متن کاملFormal methods in knowledge engineering
This paper presents a general discussion of the role of formal methods in Knowledge Engineering. We give an historical account of the development of the eld of Knowledge Engineering towards the use of formal methods. Subsequently, we discuss the pro's and cons of formal methods. We do this by summarising the proclaimed advantages, and by arguing against some of the commonly heard objections aga...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Software Engineering & Applications
سال: 2012
ISSN: 0976-2221
DOI: 10.5121/ijsea.2012.3609